(declare-const i0 Int)
(declare-const i4 Int)
(declare-const i6 Int)
(declare-const i11 Int)
(declare-const i12 Int)
(declare-const i14 Int)
(declare-const i15 Int)
(assert (< (- i4) i14 20 589))
(check-sat)
